Большая советская энциклопедия - ершов юрий леонидович

Ершов Юрий Леонидович (р. 1.5.1940, Новосибирск), советский математик, член-корреспондент АН СССР (1970). Окончил Новосибирский университет (1963), профессор там же (с 1967). Основные труды относятся к теории алгоритмов и теории моделей, теории чисел. Важные результаты получены им в теории иерархий, теории степеней неразрешимости и теории нумерации. Член Международной ассоциации по символической логике (1968). Соч.: Теория нумераций, ч.1, Новосибирск, 1969.